Modelling dynamic memory management in constraint-based testing

Measurement and Modelling of the Rubber Resilience based on Ultrasonic Non-destructive Testing in Tires

In tire industry, it is very crucial to evaluate physical and mechanical properties of the rubber which is used for production of the tire, to ensure the quality of the final product. Resilience is an important property of a rubber, which cannot be evaluated through direct measurement in production cycle in this industry. Therefore, non-destructive ultrasonic testing, which has been used in man...

Slice-Based Dynamic Memory Modelling - A Case Study

Memory Scalability in Constraint - Based Multimedia Style Sheet Systems 1 Memory Scalability in Constraint - Based

Multimedia style sheet systems uniformly use a constraint-based model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and are better-suited to non-textual media than ow models. We have developed a prototype style sheet system, Proteus, and have used it with a variety of document types, including program source code. This work has exposed a criti...

Boosting Search Based Testing by Using Constraint Based Testing

Search-Based Testing (SBT) uses an evolutionary algorithm to generate test cases. Traditionally, a random selection is used to generate an initial population and also, less often, during the evolution process. Such selection is likely to achieve lower coverage than a guided selection. We define two novel concepts: (1) a constrained population generator (CPG) that generates a diversified initial...

Parallel constraint satisfaction in memory-based decisions.

Three studies sought to investigate decision strategies in memory-based decisions and to test the predictions of the parallel constraint satisfaction (PCS) model for decision making (Glöckner & Betsch, 2008). Time pressure was manipulated and the model was compared against simple heuristics (take the best and equal weight) and a weighted additive strategy. From PCS we predicted that fast intuit...